<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Allaussage</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Allaussage"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Allaussage rootpage-Allaussage skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Allaussage</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">
<p>Eine <b>Allaussage</b> ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs,<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie <i>Universalaussage</i>, <i>universale Aussage</i>, <i>universelle Aussage</i>, <i>Allsatz</i>, <i>Generalisation</i> oder <i>Generalisierung</i> (als Ergebnis) verwendet. In der traditionellen <a href="Logik" title="Logik">Logik</a> werden Allaussagen als <i>universelle</i>, <i>universale</i> oder <i>allgemeine Urteile</i> bezeichnet – hierzu siehe <a href="Kategorisches_Urteil" title="Kategorisches Urteil">Kategorisches Urteil</a>.
</p><p>Die logischen Eigenschaften der Allaussagen werden modern in der <a href="Pr%C3%A4dikatenlogik" title="Prädikatenlogik">Prädikatenlogik</a> und wurden traditionell als universal bejahende Urteile in der <a href="Syllogistik" class="mw-redirect" title="Syllogistik">Syllogistik</a> behandelt.
</p><p>Natürlichsprachlich werden im Deutschen Allsätze vor allem mit Wörtern wie „alle/s“, „jede/r/s“, „immer“ und „überall“ oder mit in <a href="Definitheit_(Linguistik)" title="Definitheit (Linguistik)">definiten</a> Konstruktionen („Ein voller Bauch studiert nicht gern“, „Menschen sind sterblich“) ausgedrückt. In der formalen Sprache der Prädikatenlogik werden Allaussagen gebildet, indem mit Hilfe des All<a href="Quantor" title="Quantor">quantors</a> über <a href="Pr%C3%A4dikat_(Logik)" title="Prädikat (Logik)">Prädikate</a> beziehungsweise <a href="Aussageform" title="Aussageform">Aussageformen</a> quantifiziert wird
</p><p>Um eine Allaussage zu <a href="Falsifizierung" class="mw-redirect" title="Falsifizierung">falsifizieren</a>, reicht es aus, einen einzigen Gegenstand aus dem Gegenstandsbereich anzugeben, auf den die Aussage nicht zutrifft. Um eine Allaussage hingegen zu <a href="Verifizierung" title="Verifizierung">verifizieren</a>, muss man im Allgemeinen jeden Gegenstand des Gegenstandsbereichs untersuchen. Ist die Menge der Gegenstände des Gegenstandsbereichs nicht zugänglich oder unendlich groß, kommt im Allgemeinen nur eine mehr oder weniger gute Bestätigung in Betracht. Eine Ausnahme stellen jedoch Allaussagen in den formalen Wissenschaften wie Logik und Mathematik dar, zum Beispiel solche über unendliche Zahlenmengen, die mit Verfahren wie der <a href="Vollst%C3%A4ndige_Induktion" title="Vollständige Induktion">vollständigen Induktion</a> verifiziert werden können.
</p><p>In der Syllogistik gingen Allaussagen (universale Urteile) mit einer Existenzpräsupposition einher, d. h. ein universales Urteil galt nur dann als sinnvoll, wenn die darin vorkommenden Begriffe jeweils auf mindestens einen Gegenstand zutrafen. In der Prädikatenlogik ist auch der Umgang mit leeren Begriffen beziehungsweise Prädikaten möglich, jedoch besteht eine abgeschwächte Existenz-Präsupposition dergestalt, dass der Gegenstandsbereich nicht als Ganzes leer sein darf. In alternativen logischen Systemen wie der Freien Logik wird auch diese Beschränkung aufgehoben.
</p>
<div class="mw-heading mw-heading2"><h2 id="Siehe_auch">Siehe auch</h2></div>
<ul><li><a href="Existenzaussage" title="Existenzaussage">Existenzaussage</a></li></ul>
<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>
<div class="sisterproject" style="margin:0.1em 0 0 0;"><span class="noviewer" style="display:inline-block; line-height:10px; min-width:1.6em; text-align:center;" aria-hidden="true" role="presentation"><span class="mw-default-size" typeof="mw:File"><span title="Wiktionary"></span></span></span><b><a href="https://de.wiktionary.org/wiki/Allaussage" class="extiw external" title="wikt:Allaussage">Wiktionary: Allaussage</a></b> – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen</div>
<div class="mw-heading mw-heading2"><h2 id="Quellen">Quellen</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Allaussage</span>
</li>
</ol></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2019-02-06" href="https://de.wikipedia.org/wiki/?title=Allaussage&oldid=185436760">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>